Plasmodium falciparum population dynamics in a cohort of pregnant women in Senegal

<p>Abstract</p> <p>Background</p> <p>Pregnant women acquire protective antibodies that cross-react with geographically diverse placental <it>Plasmodium falciparum </it>isolates, suggesting that surface molecules expressed on infected erythrocytes by pregnancy-associated malaria (PAM) parasites have conserved epitopes and, that designing a PAM vaccine may be envisaged. VAR2CSA is the main candidate for a pregnancy malaria vaccine, but vaccine development may be complicated by its sequence polymorphism.</p> <p>Methods</p> <p>The dynamics of <it>P. falciparum </it>genotypes during pregnancy in 32 women in relation to VAR2CSA polymorphism and immunity was determined. The polymorphism of the <it>msp2 </it>gene and five microsatellites was analysed in consecutive parasite isolates, and the <it>DBL5ε + Interdomain 5 </it>(<it>Id5</it>) part of the <it>var2csa </it>gene of the corresponding samples was cloned and sequenced to measure variation.</p> <p>Results</p> <p>In primigravidae, the multiplicity of infection in the placenta was associated with occurrence of low birth weight babies. Some parasite genotypes were able to persist over several weeks and, still be present in the placenta at delivery particularly when the host anti-VAR2CSA antibody level was low. Comparison of diversity among genotyping markers confirmed that some PAM parasites may harbour more than one <it>var2csa </it>gene copy in their genome.</p> <p>Conclusions</p> <p>Host immunity to VAR2CSA influences the parasite dynamics during pregnancy, suggesting that the acquisition of protective immunity requires pre-exposure to a limited number of parasite variants. Presence of highly conserved residues in surface-exposed areas of the VAR2CSA immunodominant DBL5ε domain, suggest its potential in inducing antibodies with broad reactivity.</p

TRAP: an algebra of . . .

This paper describes a timed process algebra called TPAP. The aim of this algebra is to allow the modelisation of real time embedded processes sharing common resources, and which are sensitive to communication delays and scheduling strategies. Timed broadcasting and process preemption by interruption events are the two main fundamental notions of the algebra. They allow description of schedulers and asynchronous communication mediums, thus which can be taken into account when verifying the real time behaviour of the global system. We first present the process algebra and discuss its properties. A case study from the avionics area is then developed using TPAP, and formally verified by translation into the UPPAAL model checker